PSPACE-complete problems for subgroups of free groups and inverse finite automata
نویسندگان
چکیده
منابع مشابه
PSPACE-complete problems for subgroups of free groups and inverse finite automata
We investigate the complexity of algorithmic problems on finitely generated subgroups of free groups. Margolis and Meakin showed how a finite monoid Synt(H) can be canonically and effectively associated with such a subgroup H. We show that H is pure (that is, closed under radical) if and only if Synt(H) is aperiodic. We also show that testing for this property of H is pspace-complete. In the pr...
متن کاملClassifying fuzzy normal subgroups of finite groups
In this paper a first step in classifying the fuzzy normalsubgroups of a finite group is made. Explicit formulas for thenumber of distinct fuzzy normal subgroups are obtained in theparticular cases of symmetric groups and dihedral groups.
متن کاملThe nc-supplemented subgroups of finite groups
A subgroup $H$ is said to be $nc$-supplemented in a group $G$ if there exists a subgroup $Kleq G$ such that $HKlhd G$ and $Hcap K$ is contained in $H_{G}$, the core of $H$ in $G$. We characterize the supersolubility of finite groups $G$ with that every maximal subgroup of the Sylow subgroups is $nc$-supplemented in $G$.
متن کاملCLASSIFYING FUZZY SUBGROUPS OF FINITE NONABELIAN GROUPS
In this paper a rst step in classifying the fuzzy subgroups of a nite nonabelian group is made. We develop a general method to count the number of distinct fuzzy subgroups of such groups. Explicit formulas are obtained in the particular case of dihedral groups.
متن کاملFinite $p$-groups and centralizers of non-cyclic abelian subgroups
A $p$-group $G$ is called a $mathcal{CAC}$-$p$-group if $C_G(H)/H$ is cyclic for every non-cyclic abelian subgroup $H$ in $G$ with $Hnleq Z(G)$. In this paper, we give a complete classification of finite $mathcal{CAC}$-$p$-groups.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2000
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(98)00225-4